Formal Specification Method for Gaia Methodology
نویسندگان
چکیده
منابع مشابه
Formal Specification Method for Systems Automation
representation of the automation system is provided by combining the control and Case_study_process machines using the B structuring extends clause that allows invocation of operations (see Fig. 14). Variables processed are defined as Qi for the input flow, Qo, Po for the output flow, and Vt, Pt, for the volume and pressure in the tank. The use of the extends clause means that all the invariant...
متن کاملAn Esterel-based Formal Specification Methodology For Power Manager Development
Power management is a key element in modern SoCs. Design of power managers is difficult because of their massively parallel control and the complexity of power-related action sequences. We present a new formal methodology based on the Esterel language. It allows the user specifying power management to use hierarchical concurrent state machines, performing the formal verification of key properti...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملTowards the integration of formal specification in the Áncora methodology
There are some non-formal methodologies such as RUP, OpenUP, agile methodologies such as SCRUP, XP and techniques like those proposed by UML, which allow the development of software. The software industry has struggled to generate quality software, as importance has not been given to the engineering requirements, resulting in a poor specification of requirements and software of poor quality. In...
متن کاملDiscussion on: "Formal specification method for systems automation"
of system dynamics, whereas the proposed approach does not capture these dynamics well-enough because it simply states the input/output expected modification of system variables (and their invariant properties), defined from an end-user point of view, without any other behavioral details on its realization. Matching these views is not an easy task, because the causality relationship underlying ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2021
ISSN: 0975-8887
DOI: 10.5120/ijca2021921350